Detecting malicious code by model checkingKINDER, Johannes; KATZENBEISSER, Stefan; SCHALLHART, Christian et al.Lecture notes in computer science. 2005, pp 174-187, issn 0302-9743, isbn 3-540-26613-5, 14 p.Conference Paper

OXPATH: A language for scalable data extraction, automation, and crawling on the deep webFURCHE, Tim; GOTTLOB, Georg; GRASSO, Giovanni et al.The VLDB journal. 2013, Vol 22, Num 1, pp 47-72, issn 1066-8888, 26 p.Article

Monitoring of real-time propertiesBAUER, Andreas; LEUCKER, Martin; SCHALLHART, Christian et al.Lecture notes in computer science. 2006, pp 260-272, issn 0302-9743, isbn 3-540-49994-6, 1Vol, 13 p.Conference Paper

The ontological key: automatically understanding and integrating forms to access the deep WebFURCHE, Tim; GOTTLOB, Georg; GRASSO, Giovanni et al.The VLDB journal. 2013, Vol 22, Num 5, pp 615-640, issn 1066-8888, 26 p.Article